Serge Valletti ou les jeux de l’abondance digressive
نویسندگان
چکیده
منابع مشابه
De l'oprateur de trace dans les jeux de Conway
In this report, we propose a game semantics model of intuitionistic linear logic with a notion of brackets and a trace operator. This model is a revised version of Conway games augmented with an algebraicly defined gain which enable to describe well bracketed strategies. We then show the existence of a free cocommutative comonoid in the category of Conway. To conclude, we propose a new model of...
متن کاملCalcul des équilibres de Nash dans les jeux temporisés
Les automates temporisés [AD90] permettent de modéliser un système où le temps s’écoule de façon continu. Ils sont utiles en vérification car beaucoup de propriétés intéressantes sont décidables sur ces modèles. Plusieurs outils ont été développés basés sur des automates temporisés. Les jeux permettent d’étudier des systèmes ouverts. Étant plongé dans un environnement, certaines actions sont co...
متن کاملLes jeux d'accessibilité généralisée
RÉSUMÉ.Dans cet article, nous étudions les jeux d’accessibilité généralisée : ce sont des jeux à deux joueurs à somme nulle, pour lesquels l’objectif du premier joueur, Ève, est donné par une conjonction d’objectifs d’accessibilité. Dans un premier temps, nous montrons que le problème de décider si Ève a une stratégie gagnante est PSPACE-complet, mais polynomial en fixant pour paramètre le nomb...
متن کاملMario, Warcraft ou Pokemon ? La programmation de jeux vidéo comme motivation dans l'apprentissage des sciences informatiques
RESUME : La programmation de jeux vidéo est une motivation souvent donnée par les étudiants désireux de suivre une formation en sciences informatiques. Or implémenter un jeu vidéo est complexe et fait appel à beaucoup de notions dont la plus visible est l'Interface Homme-Machine (IHM). Cette dernière fait souvent obstacle à la proposition d'un sujet de projet portant sur le jeu vidéo. Pourtant,...
متن کاملÉchantillonnage adaptatif de jeux de données déséquilibrés pour les forêts aléatoires
Introduction Les jeux de données déséquilibrés constituent un problème important de l’apprentissage supervisé. Or la plupart des modèles sont conçus pour des données équilibrées. Leur utilisation sur des données déséquilibrées conduit souvent à une mauvaise prédiction de la classe minoritaire. Pourtant, cette situation se retrouve régulièrement dans la pratique (Détection de pannes (Pazzani et ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Recherches & travaux
سال: 2006
ISSN: 0151-1874,1969-6434
DOI: 10.4000/recherchestravaux.149